Discovering JavaScript's Hidden Secrets: Understanding Numerical Algorithms.
🧮Combinator Calculus
Flag this post
5 Maths Gems #193
∫Mathematical DSLs
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·16h
🌱Minimal ML
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
🧩Constraint Solvers
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
🎭Racket Modules
Flag this post
Stochastic computing
scottlocklin.wordpress.com·3h
🖥️Lisp Machines
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
🧩Constraint Solvers
Flag this post
Is the logic in numbers part of a greater universal language? A 2 part exploration of 0 and 1 - Part I The Reality in Numbers
🔗Concatenative Theory
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
This tool is basically NotebookLM for math problems
xda-developers.com·19h
🎯Constraint Solving
Flag this post
Human mathematician beats AI in the ‘kissing numbers’ challenge
earth.com·1d
🔢Algebraic Datatypes
Flag this post
New: Online Master’s Program in Applied Ontology
dailynous.com·23h
🔗Category Theory
Flag this post
SQL for Data Analysis Tutorial
mygreatlearning.com·20h
📈Query Optimization
Flag this post
De Bruijn Numerals
λLambda Calculus
Flag this post
How I solved nutrition aligned to diet problem using vector database
🎓Educational Databases
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
📚Stack Allocation
Flag this post
Loading...Loading more...